K VOPROSU O SOVREMENNOM RABOChEM KLASSE RESPUBLIKI DAGESTAN

Eine entscheidbare Klasse n-stelliger Horn-Prädikate

Das Rechnen mit unendlichen Mengen von Grundtermen hat zahlreiche Anwendungen, speziell auf den Gebieten der Programmanalyse und des automatischen Beweisens: z.B. Typ-Inferenz in PROLOG, basierend auf einer oberen Abschätzung der Extension von Prädikaten [9]; Berechnung einfacher Invarianten imperativer Programme [8]; Beschreibung von Bildmengen von Abstraktionsfunktionen in Implementierungsbew...

Objekt und Klasse, Gegenstand und Begriff

Computerprogramme sind in einer Hinsicht Maschinenabläufe, wie der Benzinantrieb oder Fotokopieren. Die objekt-orientierte Software-Entwicklung setzt einen anderen Akzent. Sie modelliert Probleme des konkreten Arbeitsalltags und findet dazu digitale Lösungen. Wie schon der Name sagt, stützt sie sich auf eine tief verankerte Intuition: die Welt besteht nach allgemeiner Meinung aus Gegenständen i...

Balfe , M . , O ' Brien , K . , Timmons , A . , Butow , P . , O

An almost O(log k)-approximation for k-connected subgraphs

We consider two cases of the Survivable Network Design (SND) problem: given a complete graph Gn = (V,En) with costs on the edges and connectivity requirements {r(u, v) : u, v ∈ V }, find a minimum cost subgraph G of Gn that contains r(u, v) internally disjoint uv-paths for all u, v ∈ V . Our main result is an O (

Finding paths of length k in O*(2^k) time

The k-path problem is to determine if a given graph contains a simple path of length at least k, and if so, produce such a path. When k is given as a part of the input, the problem is wellknown to be NP-complete. The general problem has many practical applications (cf. [3, 15]). The trivial algorithm enumerating all possible k-paths in an n-node graph uses Θ(nk) time, so it is only polynomial f...